- эквивалентность преобразований
- еквівале́нтність перетво́рень
Русско-украинский политехнический словарь. 2013.
эквивалентность преобразований
Смотреть что такое "эквивалентность преобразований" в других словарях:
Эквивалентность массы и энергии — Эта статья включает описание термина «E=mc2»; см. также другие значения. Формула на небоскрёбе Тайбэй 101 во время одного из мероприятий Всемирного года физики (2005) Экв … Википедия
АВТОМАТОВ ЭКВИВАЛЕНТНОСТЬ — отношение эквивалентности на множестве автоматов, возникающее в связи с изучением тех или иных содержательных свойств автоматов. Обычно таким свойством является автоматов поведение, так что два автомата считаются эквивалентными, если они имеют… … Математическая энциклопедия
АЛГОРИТМОВ ЭКВИВАЛЕНТНОСТЬ — бинарное отношение, связывающее алгоритмы фиксированного типа и выражающее тот факт, что у всяких двух связанных этим отношением алгоритмов при совпадении определенного вида исходных данных совпадают и результаты работы (а также, быть может, и… … Математическая энциклопедия
СИММЕТРИЯ — (от греч. symmetria соразмерность) законов физики. Если законы, устанавливающие соотношение между величинами, характеризующими физ. систему, или определяющие изменение этих величин со временем, не меняются при определённых операциях… … Физическая энциклопедия
Симметрия — I Симметрия (от греч. symmetria соразмерность) в математике, 1) симметрия (в узком смысле), или отражение (зеркальное) относительно плоскости α в пространстве (относительно прямой а на плоскости), преобразование пространства… … Большая советская энциклопедия
Симметрия (в физике) — Симметрия в физике. Если законы, устанавливающие соотношения между величинами, характеризующими физическую систему, или определяющие изменение этих величин со временем, не меняются при определённых операциях (преобразованиях), которым может быть… … Большая советская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч … Математическая энциклопедия
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия
БЕСКОНЕЧНОМЕРНОЕ ПРЕДСТАВЛЕНИЕ — группы Ли представление группы Ли в бесконечномерном векторном пространстве. Теория представлений групп Ли есть часть общей теории, представлений то пологич. групп. Специфика групп Ли позволяет использовать в этой теории средства анализа (в… … Математическая энциклопедия
